3.2036 \(\int \frac{x^2}{\left (a+\frac{b}{x^3}\right )^{3/2}} \, dx\)

Optimal. Leaf size=66 \[ -\frac{b \tanh ^{-1}\left (\frac{\sqrt{a+\frac{b}{x^3}}}{\sqrt{a}}\right )}{a^{5/2}}+\frac{x^3 \sqrt{a+\frac{b}{x^3}}}{a^2}-\frac{2 x^3}{3 a \sqrt{a+\frac{b}{x^3}}} \]

[Out]

(-2*x^3)/(3*a*Sqrt[a + b/x^3]) + (Sqrt[a + b/x^3]*x^3)/a^2 - (b*ArcTanh[Sqrt[a +
 b/x^3]/Sqrt[a]])/a^(5/2)

_______________________________________________________________________________________

Rubi [A]  time = 0.115427, antiderivative size = 66, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 4, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.267 \[ -\frac{b \tanh ^{-1}\left (\frac{\sqrt{a+\frac{b}{x^3}}}{\sqrt{a}}\right )}{a^{5/2}}+\frac{x^3 \sqrt{a+\frac{b}{x^3}}}{a^2}-\frac{2 x^3}{3 a \sqrt{a+\frac{b}{x^3}}} \]

Antiderivative was successfully verified.

[In]  Int[x^2/(a + b/x^3)^(3/2),x]

[Out]

(-2*x^3)/(3*a*Sqrt[a + b/x^3]) + (Sqrt[a + b/x^3]*x^3)/a^2 - (b*ArcTanh[Sqrt[a +
 b/x^3]/Sqrt[a]])/a^(5/2)

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 9.71708, size = 58, normalized size = 0.88 \[ - \frac{2 x^{3}}{3 a \sqrt{a + \frac{b}{x^{3}}}} + \frac{x^{3} \sqrt{a + \frac{b}{x^{3}}}}{a^{2}} - \frac{b \operatorname{atanh}{\left (\frac{\sqrt{a + \frac{b}{x^{3}}}}{\sqrt{a}} \right )}}{a^{\frac{5}{2}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate(x**2/(a+b/x**3)**(3/2),x)

[Out]

-2*x**3/(3*a*sqrt(a + b/x**3)) + x**3*sqrt(a + b/x**3)/a**2 - b*atanh(sqrt(a + b
/x**3)/sqrt(a))/a**(5/2)

_______________________________________________________________________________________

Mathematica [A]  time = 0.0612655, size = 83, normalized size = 1.26 \[ \frac{\sqrt{a} x^{3/2} \left (a x^3+3 b\right )-3 b \sqrt{a x^3+b} \tanh ^{-1}\left (\frac{\sqrt{a} x^{3/2}}{\sqrt{a x^3+b}}\right )}{3 a^{5/2} x^{3/2} \sqrt{a+\frac{b}{x^3}}} \]

Antiderivative was successfully verified.

[In]  Integrate[x^2/(a + b/x^3)^(3/2),x]

[Out]

(Sqrt[a]*x^(3/2)*(3*b + a*x^3) - 3*b*Sqrt[b + a*x^3]*ArcTanh[(Sqrt[a]*x^(3/2))/S
qrt[b + a*x^3]])/(3*a^(5/2)*Sqrt[a + b/x^3]*x^(3/2))

_______________________________________________________________________________________

Maple [C]  time = 0.024, size = 3664, normalized size = 55.5 \[ \text{output too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int(x^2/(a+b/x^3)^(3/2),x)

[Out]

1/3/((a*x^3+b)/x^3)^(3/2)/x^5*(a*x^3+b)/a^4*(36*I*(-a^2*b)^(1/3)*(-(I*3^(1/2)-3)
*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x
+(-a^2*b)^(1/3))/(I*3^(1/2)+1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)
^(1/3)-2*a*x-(-a^2*b)^(1/3))/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*Elliptic
Pi((-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2),(I*3^(1/2)-1)/
(I*3^(1/2)-3),((I*3^(1/2)+3)*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*3
^(1/2)*(x*(a*x^3+b))^(1/2)*x*a*b-18*I*(-a^2*b)^(2/3)*(-(I*3^(1/2)-3)*x*a/(I*3^(1
/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1
/3))/(I*3^(1/2)+1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x
-(-a^2*b)^(1/3))/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1
/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2),(I*3^(1/2)-1)/(I*3^(1/2)-3
),((I*3^(1/2)+3)*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*3^(1/2)*(x*(a
*x^3+b))^(1/2)*b+I*(a*x^4+b*x)^(1/2)*(1/a^2*x*(-a*x+(-a^2*b)^(1/3))*(I*3^(1/2)*(
-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))*(I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-a^2*b)^(1/
3)))^(1/2)*3^(1/2)*(x*(a*x^3+b))^(1/2)*x*a^2-18*I*(-(I*3^(1/2)-3)*x*a/(I*3^(1/2)
-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3)
)/(I*3^(1/2)+1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-
a^2*b)^(1/3))/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/2)
-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2),(I*3^(1/2)-1)/(I*3^(1/2)-3),(
(I*3^(1/2)+3)*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*3^(1/2)*(x*(a*x^
3+b))^(1/2)*x^2*a^2*b+18*I*(-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3
)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))/(I*3^(1/2)+1)/(-a*x+(
-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-a^2*b)^(1/3))/(I*3^(1/2
)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-
a*x+(-a^2*b)^(1/3)))^(1/2),((I*3^(1/2)+3)*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)
-3))^(1/2))*3^(1/2)*(x*(a*x^3+b))^(1/2)*x^2*a^2*b+18*I*(-a^2*b)^(2/3)*(-(I*3^(1/
2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)+
2*a*x+(-a^2*b)^(1/3))/(I*3^(1/2)+1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a
^2*b)^(1/3)-2*a*x-(-a^2*b)^(1/3))/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*Ell
ipticF((-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2),((I*3^(1/2
)+3)*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*3^(1/2)*(x*(a*x^3+b))^(1/
2)*b-18*(-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/
2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))/(I*3^(1/2)+1)/(-a*x+(-a^2*b)^(1/3)))^(1/
2)*((I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-a^2*b)^(1/3))/(I*3^(1/2)-1)/(-a*x+(-a^2*b)
^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3))
)^(1/2),((I*3^(1/2)+3)*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*(x*(a*x
^3+b))^(1/2)*x^2*a^2*b+18*(-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)
))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))/(I*3^(1/2)+1)/(-a*x+(-
a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-a^2*b)^(1/3))/(I*3^(1/2)
-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-
a*x+(-a^2*b)^(1/3)))^(1/2),(I*3^(1/2)-1)/(I*3^(1/2)-3),((I*3^(1/2)+3)*(I*3^(1/2)
-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*(x*(a*x^3+b))^(1/2)*x^2*a^2*b+36*(-a^2*b
)^(1/3)*(-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/
2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))/(I*3^(1/2)+1)/(-a*x+(-a^2*b)^(1/3)))^(1/
2)*((I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-a^2*b)^(1/3))/(I*3^(1/2)-1)/(-a*x+(-a^2*b)
^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3))
)^(1/2),((I*3^(1/2)+3)*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*(x*(a*x
^3+b))^(1/2)*x*a*b-36*(-a^2*b)^(1/3)*(-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a
^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))/(I*3^(1/2)+
1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-a^2*b)^(1/3))
/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/2)-3)*x*a/(I*3^
(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2),(I*3^(1/2)-1)/(I*3^(1/2)-3),((I*3^(1/2)+3)
*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*(x*(a*x^3+b))^(1/2)*x*a*b-18*
(-a^2*b)^(2/3)*(-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((
I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))/(I*3^(1/2)+1)/(-a*x+(-a^2*b)^(1/3
)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-a^2*b)^(1/3))/(I*3^(1/2)-1)/(-a*x+(
-a^2*b)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)
^(1/3)))^(1/2),((I*3^(1/2)+3)*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*
(x*(a*x^3+b))^(1/2)*b+18*(-a^2*b)^(2/3)*(-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+
(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))/(I*3^(1/
2)+1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-a^2*b)^(1/
3))/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/2)-3)*x*a/(I
*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2),(I*3^(1/2)-1)/(I*3^(1/2)-3),((I*3^(1/2)
+3)*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*(x*(a*x^3+b))^(1/2)*b-36*I
*(-a^2*b)^(1/3)*(-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b)^(1/3)))^(1/2)*(
(I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))/(I*3^(1/2)+1)/(-a*x+(-a^2*b)^(1/
3)))^(1/2)*((I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-a^2*b)^(1/3))/(I*3^(1/2)-1)/(-a*x+
(-a^2*b)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*a/(I*3^(1/2)-1)/(-a*x+(-a^2*b
)^(1/3)))^(1/2),((I*3^(1/2)+3)*(I*3^(1/2)-1)/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))
*3^(1/2)*(x*(a*x^3+b))^(1/2)*x*a*b+2*I*(1/a^2*x*(-a*x+(-a^2*b)^(1/3))*(I*3^(1/2)
*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))*(I*3^(1/2)*(-a^2*b)^(1/3)-2*a*x-(-a^2*b)^(
1/3)))^(1/2)*3^(1/2)*x^2*a^2*b-3*(a*x^4+b*x)^(1/2)*(1/a^2*x*(-a*x+(-a^2*b)^(1/3)
)*(I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))*(I*3^(1/2)*(-a^2*b)^(1/3)-2*a*
x-(-a^2*b)^(1/3)))^(1/2)*(x*(a*x^3+b))^(1/2)*x*a^2-6*x^2*b*a^2*(1/a^2*x*(-a*x+(-
a^2*b)^(1/3))*(I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))*(I*3^(1/2)*(-a^2*b
)^(1/3)-2*a*x-(-a^2*b)^(1/3)))^(1/2))/(I*3^(1/2)-3)/(1/a^2*x*(-a*x+(-a^2*b)^(1/3
))*(I*3^(1/2)*(-a^2*b)^(1/3)+2*a*x+(-a^2*b)^(1/3))*(I*3^(1/2)*(-a^2*b)^(1/3)-2*a
*x-(-a^2*b)^(1/3)))^(1/2)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(x^2/(a + b/x^3)^(3/2),x, algorithm="maxima")

[Out]

Exception raised: ValueError

_______________________________________________________________________________________

Fricas [A]  time = 0.382606, size = 1, normalized size = 0.02 \[ \left [\frac{3 \,{\left (a b x^{3} + b^{2}\right )} \sqrt{a} \log \left (-{\left (8 \, a^{2} x^{6} + 8 \, a b x^{3} + b^{2}\right )} \sqrt{a} + 4 \,{\left (2 \, a^{2} x^{6} + a b x^{3}\right )} \sqrt{\frac{a x^{3} + b}{x^{3}}}\right ) + 4 \,{\left (a^{2} x^{6} + 3 \, a b x^{3}\right )} \sqrt{\frac{a x^{3} + b}{x^{3}}}}{12 \,{\left (a^{4} x^{3} + a^{3} b\right )}}, \frac{3 \,{\left (a b x^{3} + b^{2}\right )} \sqrt{-a} \arctan \left (\frac{2 \, \sqrt{-a} x^{3} \sqrt{\frac{a x^{3} + b}{x^{3}}}}{2 \, a x^{3} + b}\right ) + 2 \,{\left (a^{2} x^{6} + 3 \, a b x^{3}\right )} \sqrt{\frac{a x^{3} + b}{x^{3}}}}{6 \,{\left (a^{4} x^{3} + a^{3} b\right )}}\right ] \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(x^2/(a + b/x^3)^(3/2),x, algorithm="fricas")

[Out]

[1/12*(3*(a*b*x^3 + b^2)*sqrt(a)*log(-(8*a^2*x^6 + 8*a*b*x^3 + b^2)*sqrt(a) + 4*
(2*a^2*x^6 + a*b*x^3)*sqrt((a*x^3 + b)/x^3)) + 4*(a^2*x^6 + 3*a*b*x^3)*sqrt((a*x
^3 + b)/x^3))/(a^4*x^3 + a^3*b), 1/6*(3*(a*b*x^3 + b^2)*sqrt(-a)*arctan(2*sqrt(-
a)*x^3*sqrt((a*x^3 + b)/x^3)/(2*a*x^3 + b)) + 2*(a^2*x^6 + 3*a*b*x^3)*sqrt((a*x^
3 + b)/x^3))/(a^4*x^3 + a^3*b)]

_______________________________________________________________________________________

Sympy [A]  time = 11.9413, size = 73, normalized size = 1.11 \[ \frac{x^{\frac{9}{2}}}{3 a \sqrt{b} \sqrt{\frac{a x^{3}}{b} + 1}} + \frac{\sqrt{b} x^{\frac{3}{2}}}{a^{2} \sqrt{\frac{a x^{3}}{b} + 1}} - \frac{b \operatorname{asinh}{\left (\frac{\sqrt{a} x^{\frac{3}{2}}}{\sqrt{b}} \right )}}{a^{\frac{5}{2}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(x**2/(a+b/x**3)**(3/2),x)

[Out]

x**(9/2)/(3*a*sqrt(b)*sqrt(a*x**3/b + 1)) + sqrt(b)*x**(3/2)/(a**2*sqrt(a*x**3/b
 + 1)) - b*asinh(sqrt(a)*x**(3/2)/sqrt(b))/a**(5/2)

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.280548, size = 131, normalized size = 1.98 \[ \frac{1}{3} \, b{\left (\frac{3 \, \arctan \left (\frac{\sqrt{\frac{a x^{3} + b}{x^{3}}}}{\sqrt{-a}}\right )}{\sqrt{-a} a^{2}} + \frac{2 \, a - \frac{3 \,{\left (a x^{3} + b\right )}}{x^{3}}}{{\left (a \sqrt{\frac{a x^{3} + b}{x^{3}}} - \frac{{\left (a x^{3} + b\right )} \sqrt{\frac{a x^{3} + b}{x^{3}}}}{x^{3}}\right )} a^{2}}\right )} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(x^2/(a + b/x^3)^(3/2),x, algorithm="giac")

[Out]

1/3*b*(3*arctan(sqrt((a*x^3 + b)/x^3)/sqrt(-a))/(sqrt(-a)*a^2) + (2*a - 3*(a*x^3
 + b)/x^3)/((a*sqrt((a*x^3 + b)/x^3) - (a*x^3 + b)*sqrt((a*x^3 + b)/x^3)/x^3)*a^
2))